A note on inconsistencies caused by fixpoints in a cartesian closed category
نویسندگان
چکیده
منابع مشابه
A cartesian closed category in Martin-Löf's intuitionistic type theory
First, we briefly recall the main definitions of the theory of Information Bases and Translations. These mathematical structures are the basis to construct the cartesian closed category InfBas, which is equivalent to the category ScDom of Scott Domains. Then, we will show that all the definitions and the proof of all the properties that one needs in order to show that InfBas is indeed a cartesi...
متن کاملA Cartesian Closed Category of Approximable Concept Structures
Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical structures which are normally not restricted to the finite cases. In this paper we establish a systematic connection between formal concept analysis and domain theory as a categorical equivalence, enriching the link between the t...
متن کاملA Cartesian Closed Extension of the Category of Locales
We present a Cartesian closed category ELoc of equilocales, which contains the category Loc of locales as a reflective full subcategory. The embedding of Loc into ELoc preserves products and all exponentials of exponentiable locales.
متن کاملA Cartesian closed category of event structures with quotients
We introduce a new class of morphisms for event structures. The category obtained is cartesian closed, and a natural notion of quotient event structure is defined within it. We study in particular the topological space of maximal configurations of quotient event structures. We introduce the compression of event structures as an example of quotient: the compression of an event structure E is a m...
متن کاملUndecidability of Equality in the Free Locally Cartesian Closed Category
We show that a version of Martin-Löf type theory with extensional identity, a unit type N1,Σ,Π, and a base type is a free category with families (supporting these type formers) both in a 1and a 2-categorical sense. It follows that the underlying category of contexts is a free locally cartesian closed category in a 2-categorical sense because of a previously proved biequivalence. We then show th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1990
ISSN: 0304-3975
DOI: 10.1016/0304-3975(90)90165-e